//]]>
Unhighlight Highlight
The Proof is in the Pudding by Krantz, Steven G. Publication: . XVII, 264 p. 88 illus., 5 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Logic by Li, Wei. Publication: Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reactive Kripke Semantics by Gabbay, Dov M. Publication: . XII, 442 p. 201 illus., 10 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Complexity of Valued Constraint Satisfaction Problems by Živný, Stanislav. Publication: . XVII, 170 p. 23 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematics of Discrete Structures for Computer Science by Pace, Gordon J. Publication: . XVI, 293 p. 15 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The NCL Natural Constraint Language by Zhou, Jianyang. Publication: . XIII, 311 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Apartness and Uniformity by Bridges, Douglas S. Publication: . XIV, 198 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conditionals and Modularity in General Logics by Gabbay, Dov M. Publication: . IX, 233 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Algebraic Specification and Formal Software Development by Sannella, Donald. Publication: . XVI, 584 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Tools for Handling Change in Agent-Based Systems by Gabbay, Dov M. Publication: . X, 305p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Cognitive Reasoning by Gergely, Tamás. Publication: . X, 437p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
From Linear Operators to Computational Biology by Davis, Martin. Publication: . XI, 208 p. 16 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Belief Revision in Non-Classical Logics by Ribeiro, Márcio Moretto. Publication: . XI, 120 p. 5 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Logic for Computer Science by Ben-Ari, Mordechai. Publication: . XV, 346 p. 79 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The P=NP Question and Gödel’s Lost Letter by Lipton, Richard J. Publication: . XIII, 239p. 20 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Specification and Verification of Multi-agent Systems by Dastani, Mehdi. Publication: . XVII, 405p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Stochastic Calculus with Infinitesimals by Herzberg, Frederik. Publication: . XVIII, 112 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
From Objects to Diagrams for Ranges of Functors by Gillibert, Pierre. Publication: . CLVIII, 10p. 19 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Banach Spaces and Descriptive Set Theory: Selected Topics by Dodos, Pandelis. Publication: . X, 160p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8
Languages: 
English |
العربية